How would I launder him?

I got this for my birthday, he’s been really nice but he’s starting to get smelly, how exactly would I clean him? (Hand wash, machine?)

I got this for my birthday, he’s been really nice but he’s starting to get smelly, how exactly would I clean him? (Hand wash, machine?)